Concrete Memory Models for Shape Analysis
نویسندگان
چکیده
منابع مشابه
Concrete Memory Models for Shape Analysis
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offsets to address values in a block. We give the semantics of a C-like language within each of these memory models to illustrate their differences. The language we consider is a fragment of Leroy’s Clight, including arrays,...
متن کاملEvaluation of Seismic Response of Concrete Structures Reinforced by Shape Memory Alloys (Technical Note)
Shape memory alloys (SMAs) are unique smart materials that have many advantages, such as ability to resist large strains without leaving residual strains and ability to recover original form. However, the high costs of SMAs have limited their usage. This paper evaluates the behavior of concrete structures equipped with SMAs in an optimal manner as they are being used along the plastic hinge of ...
متن کاملVertical Contraction Joint Models for Nonlinear Dynamic Analysis of Concrete Arch Dam
Arch dams are generally built in cantilvever monoliths. Vertical contraction joints between monoliths control the stresses due to concrete shrinkage and temperature variations. Past studies in earthquake safety evaluation of the system often show the tensile fracture and local nonlinear deformation of joints. In this paper, some nonlinear joint element constitutive models are presented to exami...
متن کاملA 3d Micro-Plane Model for Shape Memory Alloys
are compared with the experimental results. In these test results the shape memory alloys behavior as: super elasticity under various temperatures, loading rate effects, asymmetry in tension and pressure, various loops of loading and unloading, hydrostatic pressure effects, different proportional tension-shear biaxial loading and unloading, and also deviation from normality due to non-proportio...
متن کاملVertical Contraction Joint Models for Nonlinear Dynamic Analysis of Concrete Arch Dam
Arch dams are generally built in cantilvever monoliths. Vertical contraction joints between monoliths control the stresses due to concrete shrinkage and temperature variations. Past studies in earthquake safety evaluation of the system often show the tensile fracture and local nonlinear deformation of joints. In this paper, some nonlinear joint element constitutive models are presented to exami...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2010
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2010.09.012